#!/bin/bash
pidFile="server.pid"
if [ -f "$pidFile" ]
then
    PID=$(cat server.pid)
    if [ -n "$PID" ]
    then
        kill -9 $PID
    fi
else
    echo 0
fi